/** 
 *
 * Dummy javascript
 */
function helloWorld() {
	window.alert("Hello world!");
}